|
1043309
Infos complémentaires |
parentName_s |
Laboratoire d'Informatique de Grenoble |
|
Calculs algorithmes programmes et preuves |
CAPP |
researchteam |
Laboratoire LIG - Bâtiment IMAG - 700 avenue Centrale, CS 40700 - 38058 Grenoble cedex 9 |
|
2020-01-01 |
|
|
|
49673
Infos complémentaires |
parentName_s |
Laboratoire d'Informatique de Grenoble |
|
Calculs algorithmes programmes et preuves |
CAPP |
researchteam |
UMR 5217 - Laboratoire LIG - Bâtiment IMAG - 700 avenue Centrale - Domaine Universitaire de Saint-Martin-d’HèresAdresse postale : CS 40700 - 38058 Grenoble cedex 9 - France |
|
|
2015-12-31 |
|
|
1041966
Infos complémentaires |
parentName_s |
Laboratoire d'Informatique de Grenoble |
|
Calculs algorithmes programmes et preuves |
CAPP |
researchteam |
Laboratoire LIG - Bâtiment IMAG - 700 avenue Centrale, CS 40700 - 38058 Grenoble cedex 9 |
|
2016-01-01 |
2019-12-31 |
|